Comparative Analysis: A Feasible Software Engineering Method

The reasonable choice is a critical success factor for decision- making in the field of software engineering (SE). A case-driven comparative analysis has been introduced and a procedure for its systematic application has been suggested. The paper describes how the proposed method can be built in a general framework for SE activities. Some examples of experimental versions of the framework are brie y presented.

Solving Ratio-Dependent Predator-Prey System with Constant Effort Harvesting using Variational Iteration Method

Due to wide range of interest in use of bio-economic models to gain insight into the scientific management of renewable resources like fisheries and forestry,variational iteration method (VIM) is employed to approximate the solution of the ratio-dependent predator-prey system with constant effort prey harvesting.The results are compared with the results obtained by Adomian decomposition method and reveal that VIM is very effective and convenient for solving nonlinear differential equations.

Pushing the Quality Level in Networked News Business: Semantic-Based Content Retrieval and Composition in International News Publishing

Electronic publishing exploits numerous possibilities to present or exchange information and to communicate via most current media like the Internet. By utilizing modern Web technologies like Web Services, loosely coupled services, and peer-to-peer networks we describe the integration of an intelligent business news presentation and distribution network. Employing semantics technologies enables the coupling of multinational and multilingual business news data on a scalable international level and thus introduce a service quality that is not achieved by alternative technologies in the news distribution area so far. Architecturally, we identified the loose coupling of existing services as the most feasible way to address multinational and multilingual news presentation and distribution networks. Furthermore we semantically enrich multinational news contents by relating them using AI techniques like the Vector Space Model. Summarizing our experiences we describe the technical integration of semantics and communication technologies in order to create a modern international news network.

The Interval [0,1] Admits no Functorial Embedding into a Finite-Dimensional or Metrizable Topological Group

An embedding X ⊂ G of a topological space X into a topological group G is called functorial if every homeomorphism of X extends to a continuous group homomorphism of G. It is shown that the interval [0, 1] admits no functorial embedding into a finite-dimensional or metrizable topological group.

Some properties of g- and P-spaces

A γ-space with a strictly positive measure is separable. An example of a non-separable γ−space with c.c.c. is given. A P−space with c.c.c. is countable and discrete.

Descriptive Sets and the Topology of Nonseparable Banach Spaces

This paper was extensively circulated in manuscript form beginning in the Summer of 1989. It is being published here for the first time in its original form except for minor corrections, updated references and some concluding comments.

Compactness in the First Baire Class and Baire-1 Operators

For a polish space M and a Banach space E let B1 (M, E) be the space of first Baire class functions from M to E, endowed with the pointwise weak topology. We study the compact subsets of B1 (M, E) and show that the fundamental results proved by Rosenthal, Bourgain, Fremlin, Talagrand and Godefroy, in case E = R, also hold true in the general case. For instance: a subset of B1 (M, E) is compact iff it is sequentially (resp. countably) compact, the convex hull of a compact bounded subset of B1 (M, E) is relatively compact, etc. We also show that our class includes Gulko compact. In the second part of the paper we examine under which conditions a bounded linear operator T : X ∗ → Y so that T |BX ∗ : (BX ∗ , w∗ ) → Y is a Baire-1 function, is a pointwise limit of a sequence (Tn ) of operators with T |BX ∗ : (BX ∗ , w∗ ) → (Y, · ) continuous for all n ∈ N. Our results in this case are connected with classical results of Choquet, Odell and Rosenthal.

Curriculum vita of Prof. Vasil Atanasov Popov

Our primary goal in this preamble is to highlight the best of Vasil Popov’s mathematical achievements and ideas. V. Popov showed his extraordinary talent for mathematics in his early papers in the (typically Bulgarian) area of approximation in the Hausdorff metric. His results in this area are very well presented in the monograph of his advisor Bl. Sendov, “Hausdorff Approximation”.

On a Class of D-Cauchy Filters

∗ Research supported by Hungarian National Foundation for Scientific Research, Grant No T 016094.

Oscillation Theorems for Perturbed Second Order Nonlinear Differential Equations with Damping

Some oscillation criteria for solutions of a general perturbed second order ordinary differential equation with damping (r(t)x′ (t))′ + h(t)f (x)x′ (t) + ψ(t, x) = H(t, x(t), x′ (t)) with alternating coefficients are given. The results obtained improve and extend some existing results in the literature.

Conference on Geometry and Mathematical Physics, Bulgaria, Zlatograd, 28.08-01.09.2005

List of Participants

The Fiftieth Anniversary of the Institute of Mathematics and Informatics

In October 1997 we celebrate the fiftieth anniversary of the founding of the Institute for Mathematics and Informatics (IMI) of the Bulgarian Academy of Sciences (BAS).

Equisummability Theorems for Laguerre Series

Here we prove results about Riesz summability of classical Laguerre series, locally uniformly or on the Lebesgue set of the function f such that (∫(1 + x)^(mp) |f(x)|^p dx )^(1/p) < ∞, for some p and m satisfying 1 ≤ p ≤ ∞, −∞ < m < ∞.

On Uniformly Convex and Uniformly Kadec-Klee Renomings

We give a new construction of uniformly convex norms with a power type modulus on super-reflexive spaces based on the notion of dentability index. Furthermore, we prove that if the Szlenk index of a Banach space is less than or equal to ω (first infinite ordinal) then there is an equivalent weak* lower semicontinuous positively homogeneous functional on X* satisfying the uniform Kadec-Klee Property for the weak*-topology (UKK*). Then we solve the UKK or UKK* renorming problems for Lp(X) spaces and C(K) spaces for K scattered compact space.

Stochastic Arithmetic Theory and Experiments

Stochastic arithmetic has been developed as a model for exact computing with imprecise data. Stochastic arithmetic provides confidence intervals for the numerical results and can be implemented in any existing numerical software by redefining types of the variables and overloading the operators on them. Here some properties of stochastic arithmetic are further investigated and applied to the computation of inner products and the solution to linear systems. Several numerical experiments are performed showing the efficiency of the proposed approach.